13

Optimal paths in weighted timed automata

Year:
2004
Language:
english
File:
PDF, 368 KB
english, 2004
14

Modular strategies for recursive game graphs

Year:
2006
Language:
english
File:
PDF, 332 KB
english, 2006
17

Finite automata on timed ω-trees

Year:
2003
Language:
english
File:
PDF, 264 KB
english, 2003
19

Timed tree automata with an application to temporal logic

Year:
2001
Language:
english
File:
PDF, 210 KB
english, 2001
25

Decision problems for lower/upper bound parametric timed automata

Year:
2009
Language:
english
File:
PDF, 775 KB
english, 2009
29

Weak Muller acceptance conditions for tree automata

Year:
2005
Language:
english
File:
PDF, 277 KB
english, 2005
30

A Model of Finite Automata on Timed ω-Trees

Year:
2001
Language:
english
File:
PDF, 189 KB
english, 2001
31

Polyhedral Flows in Hybrid Automata

Year:
2004
Language:
english
File:
PDF, 224 KB
english, 2004
38

Automata-theoretic decision of timed games

Year:
2014
Language:
english
File:
PDF, 473 KB
english, 2014
39

Games, Automata, Logic, and Formal Verification (GandALF 2011)

Year:
2013
Language:
english
File:
PDF, 117 KB
english, 2013
42

Parametric metric interval temporal logic

Year:
2015
Language:
english
File:
PDF, 610 KB
english, 2015